to_decimal

pure function to_decimal(): decimal

Converts this integer to a decimal.

Since

0.9.1